142 research outputs found

    Polyominoes Simulating Arbitrary-Neighborhood Zippers and Tilings

    Get PDF
    This paper provides a bridge between the classical tiling theory and the complex neighborhood self-assembling situations that exist in practice. The neighborhood of a position in the plane is the set of coordinates which are considered adjacent to it. This includes classical neighborhoods of size four, as well as arbitrarily complex neighborhoods. A generalized tile system consists of a set of tiles, a neighborhood, and a relation which dictates which are the "admissible" neighboring tiles of a given tile. Thus, in correctly formed assemblies, tiles are assigned positions of the plane in accordance to this relation. We prove that any validly tiled path defined in a given but arbitrary neighborhood (a zipper) can be simulated by a simple "ribbon" of microtiles. A ribbon is a special kind of polyomino, consisting of a non-self-crossing sequence of tiles on the plane, in which successive tiles stick along their adjacent edge. Finally, we extend this construction to the case of traditional tilings, proving that we can simulate arbitrary-neighborhood tilings by simple-neighborhood tilings, while preserving some of their essential properties.Comment: Submitted to Theoretical Computer Scienc

    A compact topology for sand automata

    Get PDF
    In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology for sand automata, and a new context in which sand automata are homeomorphic to cellular automata acting on a specific subshift. We show that the existing topological results for sand automata, including the Hedlund-like representation theorem, still hold. In this context, we give a characterization of the cellular automata which are sand automata, and study some dynamical behaviors such as equicontinuity. Furthermore, we deal with the nilpotency. We show that the classical definition is not meaningful for sand automata. Then, we introduce a suitable new notion of nilpotency for sand automata. Finally, we prove that this simple dynamical behavior is undecidable

    On symmetric sandpiles

    Get PDF
    A symmetric version of the well-known SPM model for sandpiles is introduced. We prove that the new model has fixed point dynamics. Although there might be several fixed points, a precise description of the fixed points is given. Moreover, we provide a simple closed formula for counting the number of fixed points originated by initial conditions made of a single column of grains.Comment: Will be presented at ACRI2006 conferenc

    Properties of Pseudo-Primitive Words and their Applications

    Full text link
    A pseudo-primitive word with respect to an antimorphic involution \theta is a word which cannot be written as a catenation of occurrences of a strictly shorter word t and \theta(t). Properties of pseudo-primitive words are investigated in this paper. These properties link pseudo-primitive words with essential notions in combinatorics on words such as primitive words, (pseudo)-palindromes, and (pseudo)-commutativity. Their applications include an improved solution to the extended Lyndon-Sch\"utzenberger equation u_1 u_2 ... u_l = v_1 ... v_n w_1 ... w_m, where u_1, ..., u_l \in {u, \theta(u)}, v_1, ..., v_n \in {v, \theta(v)}, and w_1, ..., w_m \in {w, \theata(w)} for some words u, v, w, integers l, n, m \ge 2, and an antimorphic involution \theta. We prove that for l \ge 4, n,m \ge 3, this equation implies that u, v, w can be expressed in terms of a common word t and its image \theta(t). Moreover, several cases of this equation where l = 3 are examined.Comment: Submitted to International Journal of Foundations of Computer Scienc

    Protostellar birth with ambipolar and ohmic diffusion

    Get PDF
    The transport of angular momentum is capital during the formation of low-mass stars; too little removal and rotation ensures stellar densities are never reached, too much and the absence of rotation means no protoplanetary disks can form. Magnetic diffusion is seen as a pathway to resolving this long-standing problem. We investigate the impact of including resistive MHD in simulations of the gravitational collapse of a 1 solar mass gas sphere, from molecular cloud densities to the formation of the protostellar seed; the second Larson core. We used the AMR code RAMSES to perform two 3D simulations of collapsing magnetised gas spheres, including self-gravity, radiative transfer, and a non-ideal gas equation of state to describe H2 dissociation which leads to the second collapse. The first run was carried out under the ideal MHD approximation, while ambipolar and ohmic diffusion was incorporated in the second calculation. In the ideal MHD simulation, the magnetic field dominates the energy budget everywhere inside and around the first core, fueling interchange instabilities and driving a low-velocity outflow. High magnetic braking removes essentially all angular momentum from the second core. On the other hand, ambipolar and ohmic diffusion create a barrier which prevents amplification of the magnetic field beyond 0.1 G in the first Larson core which is now fully thermally supported. A significant amount of rotation is preserved and a small Keplerian-like disk forms around the second core. When studying the radiative efficiency of the first and second core accretion shocks, we found that it can vary by several orders of magnitude over the 3D surface of the cores. Magnetic diffusion is a pre-requisite to star-formation; it enables the formation of protoplanetary disks in which planets will eventually form, and also plays a determinant role in the formation of the protostar itself.Comment: 18 pages, 11 figures, accepted for publication in Astronomy & Astrophysic

    Basic properties for sand automata

    Get PDF
    Presented at MFCS 2005 (Gdansk, POLAND). Long version with complete proofs published in Theoretical Computer Science, 2006, under the title "From Sandpiles to Sand Automata".International audienceWe prove several results about the relations between injectivity and surjectivity for sand automata. Moreover, we begin the exploration of the dynamical behavior of sand automata proving that the property of nilpotency is undecidable. We believe that the proof technique used for this last result might reveal useful for many other results in this context

    A compact topology for sand automata

    No full text
    In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology for sand automata, and a new context in which sand automata are homeomorphic to cellular automata acting on a specific subshift. We show that the existing topological results for sand automata, including the Hedlund-like representation theorem, still hold. In this context, we give a characterization of the cellular automata which are sand automata, and study some dynamical behaviors such as equicontinuity. Furthermore, we deal with the nilpotency. We show that the classical definition is not meaningful for sand automata. Then, we introduce a suitable new notion of nilpotency for sand automata. Finally, we prove that this simple dynamical behavior is undecidable

    Generative action and preference reversal in exploratory project management

    Get PDF
    Organisations trying to innovate, despite being naturally encouraged to use project management and associated rational theories of choice, will necessarily experiment in some way or another due to the high levels of uncertainty and the unknown to be discovered. Exploratory project management may face situations requiring a constant reconfiguration of beliefs and hypotheses as a reaction to external factors. In this paper, we propose to discuss the existence of a generative rationality breaking away from classical decision theory by deliberately reversing preferences and designing decisions

    Predicting leakage of the VERCORS mock-up and concrete containment buildings - a digital twin approach

    Get PDF
    EDF operates a nuclear power generation fleet made up of 56 reactors. This fleet contains 24 reactors designed as double-walled concrete containment building. The inner concrete containment vessel has no metallic liner and is a prestressed reinforced concrete building. The inner concrete containment vessel is designed to withstand a severe accident, in terms of mechanical and sealing behaviour. The tightness of the containment is tested every 10 years, by carrying out a pressurization test and by measuring the leak rate. The leak rate is required to be below a regulatory threshold to continue operation of the concrete containment building for the next ten years. Ageing of concrete due to drying, creep and shrinkage leads to increase prestress loss and then leak rate with time. For some containment buildings, the leak rate gets closer to the regulatory threshold with time, so important coating programs are planned to mitigate and limit the leak rate under the regulatory threshold. Therefore, it is very important for EDF to have a concrete containment building leak rate prediction tool. To address this issue, an important research program around a 1/3 scale concrete containment building mock-up called "VERCORS" have been launched at EDF. The mock-up is heavily instrumented, and its materials (concrete, prestressing cables) have been widely characterized and studied. An important numerical effort has also been made to implement structural computations of the mock-up and to capitalize these computations as well as their post-processing (so as to compare automatically with the monitoring data) in what can be called a digital twin of the mock-up. This digital twin is now used to predict the leakage of VERCORS mock-up before yearly pressure test, and also to optimize the repair programs on the real containments

    Actes du Symposium International - Le livre, la Roumanie, l’Europe / Proceedings of the International Symposium Books, Romania, Europe - 5ème édition 24-26 septembre 2012

    Get PDF
    Tome 2 des actes du Symposium International "Le livre, la Roumanie, L\u27Europe" qui s\u27est tenu les 24, 25 et 26 septembre 2012 à Mamaia, Roumanie, organisé par la Bibliothèque Métropolitaine de Bucarest. / Tome 2 of the Proceedings of the International Symposium "Books, Romania, Europe" held on 24, 25 and 26 September 2012 in Mamaia, Romania, organized by the Bucharest Metropolitan Library. Textes réunis et présentés par : Réjean Savard Chantal Stanescu Hermina G.B. Anghelescu Cristina Io
    • …
    corecore